Formal Model of Process Functioning in the Operating System
نویسندگان
چکیده
منابع مشابه
mesuring the staff technology readiness, the case of a multi national chemical company operating in iran
چکیده ندارد.
15 صفحه اولProcess Migration in the Sprite Operating System
This paper describes a process migration facility for the Sprite operating system. In order to provide location-transparent remote execution, Sprite associates with each process a distinguished home node, which provides kernel services to the process throughout the process's lifetime. System calls that depend on the location of a process are forwarded to the process's home node. Performance mea...
متن کاملFormal specification of a simple operating system
Within the Verisoft project, we aim at the pervasive modeling, implementation, and verification of a complete computer system, from gate-level hardware to applications running on top of an operating system. As an adequate representative for such a system we choose a system for writing, signing, and sending emails. The starting point of our work was a processor together with its assembly languag...
متن کاملFormal Specification of Operating System Operations
This paper describes the development of a formal specification of a secure operating system architecture and its security-related operations in higher-order logic theorem prover, HOL. We specify operating system entities as user defined data types and security conditions as predicates that restricts system operations. We also provide a uniform environment for system commands that change securit...
متن کاملFormal models of operating system Kernels
formal models of operating system kernels What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. And do you know our friends...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SPIIRAS Proceedings
سال: 2017
ISSN: 2078-9599,2078-9181
DOI: 10.15622/sp.51.4